- верификатор условий
-
верификатор условий
Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
- защита информации
EN
- assertion checker
Справочник технического переводчика. – Интент. 2009-2013.
автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier … Справочник технического переводчика
верификатор условий
18+
© Академик, 2000-2024
- Обратная связь: Техподдержка, Реклама на сайте
Экспорт словарей на сайты, сделанные на PHP, Joomla, Drupal, WordPress, MODx.